6

Formal testing from timed finite state machines

Year:
2008
Language:
english
File:
PDF, 931 KB
english, 2008
8

Formal specification of multi-agent e-barter systems

Year:
2005
Language:
english
File:
PDF, 821 KB
english, 2005
11

Acoustic field imaging by light reflection at the free surface of a liquid

Year:
1998
Language:
english
File:
PDF, 338 KB
english, 1998
16

: Hypotheses and observations testing logic

Year:
2008
Language:
english
File:
PDF, 578 KB
english, 2008
18

Differential operator approach for Fourier image processing

Year:
2007
Language:
english
File:
PDF, 207 KB
english, 2007